package edu.asu.sapa.lifted;

import java.util.ArrayList;
import java.util.List;

//public interface Bindable<T extends Symbol<?>> extends List<T> {
public interface Bindable<T extends Symbol<K>, K> extends List<T> {
	public ArrayList<Integer> bind(ConstantSymbol<K>[] map);
	//public ArrayList<Integer> bind(ConstantSymbol<String>[] map);

	public ArrayList<Integer> bind();

}

